Total Books: 1 - 3 /3
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)
History based access control and secure information flow The spec# programming system Mastering test generation from smart ...
Lire la suite
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Lire la suite
Intrusion Detection Systems
Sٍheds new light on defense alert systems against computer and network intrusions. It also covers integrating intrusion ...
Lire la suite
Total Books: 1 - 3 /3
